#ifndef __ARN_M3_4_H__
#define __ARN_M3_4_H__ 			   
#include <stdint.h>

extern uint32_t utc_seconds;

void cpu_ticks_enable(void);
uint32_t cpu_ticks_abs(void);
uint32_t cpu_ticks_rel(uint32_t start);
void cpu_udelay(uint32_t delay);
void cpu_mdelay(uint32_t count);
uint32_t cpu_get_usecond(void);
uint32_t cpu_get_delta_us(uint32_t us);
void cpu_reboot(void);
void cpu_delay_reboot(uint32_t ms);
#endif /* __ARN_M3_4_H__ */



